Dichotomies for classes of homomorphism problems involving unary functions

نویسندگان

  • Tomás Feder
  • Florent R. Madelaine
  • Iain A. Stewart
چکیده

We study non-uniform constraint satisfaction problems where the underlying signature contains constant and function symbols as well as relation symbols. Amongst our results are the following. We establish a dichotomy result for the class of non-uniform constraint satisfaction problems over the signature consisting of one unary function symbol by showing that every such problem is either complete for L, via very restricted logical reductions, or trivial (depending upon whether the template function has a fixed point or not). We show that the class of non-uniform constraint satisfaction problems whose templates are structures over the signature λ2 consisting of two unary function symbols reflects the full computational significance of the class of non-uniform constraint satisfaction problems over relational structures. We prove a dichotomy result for the class of non-uniform constraint satisfaction problems where the template is a λ2-structure with the property that e-mail: [email protected] e-mail: [email protected]. Much of this work was undertaken whilst at the University of Leicester. e-mail: [email protected]. Much of this work was undertaken whilst at the University of Leicester.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Computational Complexity of Holant Problems

We propose and explore a novel alternative framework to study the complexity of counting problems, called Holant problems. Compared to counting constraint satisfaction problems (#CSP), it is a refinement with a more explicit role for the constraint functions. Both graph homomorphism and #CSP can be viewed as special cases of Holant problems. We prove complexity dichotomy theorems in this framew...

متن کامل

Complexity Dichotomies of Counting Problems

In order to study the complexity of counting problems, several interesting frameworks have been proposed, such as Constraint Satisfaction Problems (#CSP) and Graph Homomorphisms. Recently, we proposed and explored a novel alternative framework, called Holant Problems. It is a refinement with a more explicit role for constraint functions. Both graph homomorphism and #CSP can be viewed as special...

متن کامل

Fekete-Szeg"o problems for analytic functions in the space of logistic sigmoid functions based on quasi-subordination

In this paper, we define new subclasses ${S}^{*}_{q}(alpha,Phi),$ ${M}_{q}(alpha,Phi)$ and ${L}_{q}(alpha,Phi)$ of analytic functions in the space of logistic sigmoid functions based on quasi--subordination and determine the initial coefficient estimates $|a_2|$ and $|a_3|$ and also determine the relevant connection to the classical Fekete--Szeg"o inequalities. Further, we discuss the improved ...

متن کامل

Counting Homomorphisms to Trees Modulo a Prime

Many important graph theoretic notions can be encoded as counting graph homomorphism problems, such as partition functions in statistical physics, in particular independent sets and colourings. In this article we study the complexity of #pHomsToH, the problem of counting graph homomorphisms from an input graph to a graph H modulo a prime number p. Dyer and Greenhill proved a dichotomy stating t...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:
  • Theor. Comput. Sci.

دوره 314  شماره 

صفحات  -

تاریخ انتشار 2004